1

Finite automata presentable abelian groups

André Nies, Pavel Semukhin
Journal:
Annals of Pure and Applied Logic
Année:
2009
Langue:
english
Fichier:
PDF, 622 KB
english, 2009
2

Uncountable automatic classes and learning

Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank Stephan
Journal:
Theoretical Computer Science
Année:
2011
Langue:
english
Fichier:
PDF, 312 KB
english, 2011
3

(Pi^0_1)-Presentations of Algebras

Bakhadyr Khoussainov, Theodore Slaman, Pavel Semukhin
Journal:
Archive for Mathematical Logic
Année:
2006
Langue:
english
Fichier:
PDF, 216 KB
english, 2006
4

Automatic learning of subclasses of pattern languages

John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Journal:
Information and Computation
Année:
2012
Langue:
english
Fichier:
PDF, 348 KB
english, 2012
5

Automatic models of first order theories

Semukhin, Pavel, Stephan, Frank
Journal:
Annals of Pure and Applied Logic
Année:
2013
Langue:
english
Fichier:
PDF, 293 KB
english, 2013
6

Automatic learners with feedback queries

Case, John, Jain, Sanjay, Shin Ong, Yuh, Semukhin, Pavel, Stephan, Frank
Journal:
Journal of Computer and System Sciences
Année:
2014
Langue:
english
Fichier:
PDF, 320 KB
english, 2014
8

Algebraic methods proving Sauer's bound for teaching complexity

Samei, Rahim, Semukhin, Pavel, Yang, Boting, Zilles, Sandra
Journal:
Theoretical Computer Science
Année:
2014
Langue:
english
Fichier:
PDF, 492 KB
english, 2014
9

Prime Models of Finite Computable Dimension

Pavel Semukhin
Journal:
Journal of Symbolic Logic
Année:
2009
Langue:
english
Fichier:
PDF, 1.03 MB
english, 2009
10

Applications of Kolmogorov complexity to computable model theory

Khoussainov, Bakhadyr, Semukhin, Pavel, Stephan, Frank
Journal:
Journal of Symbolic Logic
Année:
2007
Langue:
english
Fichier:
PDF, 1.02 MB
english, 2007
11

Prime models of finite computable dimension

Semukhin, Pavel
Journal:
Journal of Symbolic Logic
Année:
2009
Langue:
english
Fichier:
PDF, 914 KB
english, 2009
12

LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

FOKINA, EKATERINA, KHOUSSAINOV, BAKHADYR, SEMUKHIN, PAVEL, TURETSKY, DANIEL
Journal:
Journal of Symbolic Logic
Année:
2016
Langue:
english
Fichier:
PDF, 267 KB
english, 2016
14

Preface

Potapov, Igor, Semukhin, Pavel
Journal:
International Journal of Foundations of Computer Science
Année:
2018
Langue:
english
Fichier:
PDF, 217 KB
english, 2018
15

Vector and scalar reachability problems in

Potapov, Igor, Semukhin, Pavel
Journal:
Journal of Computer and System Sciences
Année:
2018
Langue:
english
Fichier:
PDF, 811 KB
english, 2018